Multi-pattern languages
Identifieur interne : 00C627 ( Main/Exploration ); précédent : 00C626; suivant : 00C628Multi-pattern languages
Auteurs : Lila Kari [Finlande] ; Alexandru Mateescu [Finlande] ; Gheorghe Pa Un [Roumanie] ; Arto Salomaa [Finlande]Source :
- Theoretical Computer Science [ 0304-3975 ] ; 1995.
English descriptors
- Teeft :
- Academic press, Alphabet, Closure properties, Computer science, Decidability status, Decidable, Finite subword characterization, Generative capacity, Grammar, Grammar system, Grammar systems, Inclusion, Inclusion problems, Inductive inference, Kari, Language families, Lecture notes, Matrix, Matrix grammar, Minimal representation, Mple, Mple mplne, Open problems, Other hand, Other language families, Other languages, Pattern languages, Proper subword, Regular language, Regular languages, Regular sets, Rlsm, Salomaa, Same languages, Same string, Simple matrix grammars, Simple matrix language, Subword, Such languages, Terminal alphabet, Terminal words, Theoretical computer science.
Abstract
Abstract: We investigate languages consisting of words following one of the given finitely many patterns. The issues concerning such multi-pattern languages are relevant in inductive inference, theory of learning and term rewriting. We obtain results about decidability, characterization, hierarchies and special classes of multi-pattern languages. Some open problems are also presented.
Url:
DOI: 10.1016/0304-3975(94)00087-Y
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002532
- to stream Istex, to step Curation: 002501
- to stream Istex, to step Checkpoint: 002A42
- to stream Main, to step Merge: 00CE84
- to stream Main, to step Curation: 00C627
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title>Multi-pattern languages</title>
<author><name sortKey="Kari, Lila" sort="Kari, Lila" uniqKey="Kari L" first="Lila" last="Kari">Lila Kari</name>
</author>
<author><name sortKey="Mateescu, Alexandru" sort="Mateescu, Alexandru" uniqKey="Mateescu A" first="Alexandru" last="Mateescu">Alexandru Mateescu</name>
</author>
<author><name sortKey="Pa Un, Gheorghe" sort="Pa Un, Gheorghe" uniqKey="Pa Un G" first="Gheorghe" last="Pa Un">Gheorghe Pa Un</name>
</author>
<author><name sortKey="Salomaa, Arto" sort="Salomaa, Arto" uniqKey="Salomaa A" first="Arto" last="Salomaa">Arto Salomaa</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:9EB2A970076087C90D93E3B2A2C907D2E2BC3C47</idno>
<date when="1995" year="1995">1995</date>
<idno type="doi">10.1016/0304-3975(94)00087-Y</idno>
<idno type="url">https://api.istex.fr/ark:/67375/6H6-X5L3C1NB-G/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">002532</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002532</idno>
<idno type="wicri:Area/Istex/Curation">002501</idno>
<idno type="wicri:Area/Istex/Checkpoint">002A42</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002A42</idno>
<idno type="wicri:doubleKey">0304-3975:1995:Kari L:multi:pattern:languages</idno>
<idno type="wicri:Area/Main/Merge">00CE84</idno>
<idno type="wicri:Area/Main/Curation">00C627</idno>
<idno type="wicri:Area/Main/Exploration">00C627</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a">Multi-pattern languages</title>
<author><name sortKey="Kari, Lila" sort="Kari, Lila" uniqKey="Kari L" first="Lila" last="Kari">Lila Kari</name>
<affiliation wicri:level="4"><country xml:lang="fr">Finlande</country>
<wicri:regionArea>Mathematics Department, Academy of Finland and University of Turku, SF-20500 Turku</wicri:regionArea>
<orgName type="university">Université de Turku</orgName>
<placeName><settlement type="city">Turku</settlement>
<region type="région" nuts="2">Finlande occidentale</region>
</placeName>
</affiliation>
</author>
<author><name sortKey="Mateescu, Alexandru" sort="Mateescu, Alexandru" uniqKey="Mateescu A" first="Alexandru" last="Mateescu">Alexandru Mateescu</name>
<affiliation wicri:level="4"><country xml:lang="fr">Finlande</country>
<wicri:regionArea>Mathematics Department, Academy of Finland and University of Turku, SF-20500 Turku</wicri:regionArea>
<orgName type="university">Université de Turku</orgName>
<placeName><settlement type="city">Turku</settlement>
<region type="région" nuts="2">Finlande occidentale</region>
</placeName>
</affiliation>
</author>
<author><name sortKey="Pa Un, Gheorghe" sort="Pa Un, Gheorghe" uniqKey="Pa Un G" first="Gheorghe" last="Pa Un">Gheorghe Pa Un</name>
<affiliation wicri:level="1"><country xml:lang="fr">Roumanie</country>
<wicri:regionArea>Mathematics Institute of the Romanian Academy of Sciences, Str. Academiei 14, 70109 Bucuresti</wicri:regionArea>
<wicri:noRegion>70109 Bucuresti</wicri:noRegion>
</affiliation>
</author>
<author><name sortKey="Salomaa, Arto" sort="Salomaa, Arto" uniqKey="Salomaa A" first="Arto" last="Salomaa">Arto Salomaa</name>
<affiliation></affiliation>
<affiliation wicri:level="4"><country xml:lang="fr">Finlande</country>
<wicri:regionArea>Mathematics Department, Academy of Finland and University of Turku, SF-20500 Turku</wicri:regionArea>
<orgName type="university">Université de Turku</orgName>
<placeName><settlement type="city">Turku</settlement>
<region type="région" nuts="2">Finlande occidentale</region>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Finlande</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="j">Theoretical Computer Science</title>
<title level="j" type="abbrev">TCS</title>
<idno type="ISSN">0304-3975</idno>
<imprint><publisher>ELSEVIER</publisher>
<date type="published" when="1995">1995</date>
<biblScope unit="volume">141</biblScope>
<biblScope unit="issue">1–2</biblScope>
<biblScope unit="page" from="253">253</biblScope>
<biblScope unit="page" to="268">268</biblScope>
</imprint>
<idno type="ISSN">0304-3975</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0304-3975</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="Teeft" xml:lang="en"><term>Academic press</term>
<term>Alphabet</term>
<term>Closure properties</term>
<term>Computer science</term>
<term>Decidability status</term>
<term>Decidable</term>
<term>Finite subword characterization</term>
<term>Generative capacity</term>
<term>Grammar</term>
<term>Grammar system</term>
<term>Grammar systems</term>
<term>Inclusion</term>
<term>Inclusion problems</term>
<term>Inductive inference</term>
<term>Kari</term>
<term>Language families</term>
<term>Lecture notes</term>
<term>Matrix</term>
<term>Matrix grammar</term>
<term>Minimal representation</term>
<term>Mple</term>
<term>Mple mplne</term>
<term>Open problems</term>
<term>Other hand</term>
<term>Other language families</term>
<term>Other languages</term>
<term>Pattern languages</term>
<term>Proper subword</term>
<term>Regular language</term>
<term>Regular languages</term>
<term>Regular sets</term>
<term>Rlsm</term>
<term>Salomaa</term>
<term>Same languages</term>
<term>Same string</term>
<term>Simple matrix grammars</term>
<term>Simple matrix language</term>
<term>Subword</term>
<term>Such languages</term>
<term>Terminal alphabet</term>
<term>Terminal words</term>
<term>Theoretical computer science</term>
</keywords>
</textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: We investigate languages consisting of words following one of the given finitely many patterns. The issues concerning such multi-pattern languages are relevant in inductive inference, theory of learning and term rewriting. We obtain results about decidability, characterization, hierarchies and special classes of multi-pattern languages. Some open problems are also presented.</div>
</front>
</TEI>
<affiliations><list><country><li>Finlande</li>
<li>Roumanie</li>
</country>
<region><li>Finlande occidentale</li>
</region>
<settlement><li>Turku</li>
</settlement>
<orgName><li>Université de Turku</li>
</orgName>
</list>
<tree><country name="Finlande"><region name="Finlande occidentale"><name sortKey="Kari, Lila" sort="Kari, Lila" uniqKey="Kari L" first="Lila" last="Kari">Lila Kari</name>
</region>
<name sortKey="Mateescu, Alexandru" sort="Mateescu, Alexandru" uniqKey="Mateescu A" first="Alexandru" last="Mateescu">Alexandru Mateescu</name>
<name sortKey="Salomaa, Arto" sort="Salomaa, Arto" uniqKey="Salomaa A" first="Arto" last="Salomaa">Arto Salomaa</name>
<name sortKey="Salomaa, Arto" sort="Salomaa, Arto" uniqKey="Salomaa A" first="Arto" last="Salomaa">Arto Salomaa</name>
</country>
<country name="Roumanie"><noRegion><name sortKey="Pa Un, Gheorghe" sort="Pa Un, Gheorghe" uniqKey="Pa Un G" first="Gheorghe" last="Pa Un">Gheorghe Pa Un</name>
</noRegion>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00C627 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00C627 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:9EB2A970076087C90D93E3B2A2C907D2E2BC3C47 |texte= Multi-pattern languages }}
This area was generated with Dilib version V0.6.33. |